Efficient contract theory